Sfoglia per Serie  CEUR WORKSHOP PROCEEDINGS

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 16 a 35 di 134
Titolo Data di pubblicazione Autore(i) File
Case studies for a new IoT programming paradigm: Fluidware 1-gen-2019 Mariani, S.; Casadei, R.; Fornari, F.; Fortino, G.; Pianini, D.; Re, B.; Russo, W.; Savaglio, C.; Viroli, M.; Zambonelli, F.
Chemotherapy treatment scheduling via answer set programming 1-gen-2020 Dodaro, C.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I.
Combining Semantic Web search with the power of inductive reasoning 1-gen-2009 D'Amato, C.; Fanizzi, N.; Fazzinga, B.; Gottlob, G.; Lukasiewicz, T.
Compilation of aggregates in ASP: Preliminary results 1-gen-2020 Mazzotta, G.; Cuteri, B.; Dodaro, C.; Ricca, F.
Compilation of ASP programs: Recent developments 1-gen-2023 Dodaro, C.; Mazzotta, G.; Ricca, F.
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics 1-gen-2023 Cuteri, A.; Mazzotta, G.; Ricca, F.
A compiler for stratified Datalog programs: preliminary results 1-gen-2017 Cuteri, Bernardo; Ricca, Francesco
Computational strategies for trust-aware abstract argumentation frameworks 1-gen-2020 Fazzinga, B.; Flesca, S.; Furfaro, F.
Compute Paracoherent Answer Sets via Saturation 1-gen-2018 Ricca, Francesco
Computing extensions’ probabilities over probabilistic bipolar abstract argumentation frameworks 1-gen-2019 Fazzinga, B.; Flesca, S.; Furfaro, F.; Scala, F.
Computing modular paracoherent answer sets: Preliminary result 1-gen-2019 Cuteri, B.; Dodaro, C.; Ricca, F.
Confortation: about a new qualitative category for analyzing biomedical texts 1-gen-2009 Amardeilh, F.; Battistelli, D.; Folino, A.; Geretto, P.; Kuznik, L.; Minel, J.
Continual Learning for medical image classification 1-gen-2022 Quarta, A.; Bruno, P.; Calimeri, F.
Debugging of answer set programs using paracoherent reasoning 1-gen-2019 Cuteri, B.; Dodaro, C.; Ricca, F.
Declarative Mining of Business Processes via ASP 1-gen-2022 Ielo, A.; Pontieri, L.; Ricca, F.
Decomposing and Pruning Primary Key Violations from Large Data Sets 1-gen-2017 Manna, M.; Ricca, F.; Terracina, G.
Decomposing and pruning primary key violations from large data sets 1-gen-2017 Manna, Marco; Ricca, Francesco; Terracina, Giorgio
DEGAIN as tool for Missing Data Imputation 1-gen-2023 Shahbazian, R.; Trubitsyna, I.
Detecting and Explaining Exceptional Values in Categorical Data 1-gen-2020 Angiulli, F.; Fassetti, F.; Palopoli, L.; Serrao, C.
Domain-agnostic Procedural Content Generation Can Be Done Declaratively 1-gen-2023 Angilica, D.; Germano, S.; Ianni, G.
Mostrati risultati da 16 a 35 di 134
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile